graph of the correspondence

Definition

Given $A \subset \mathbb{R}^N$ and $Y \subset \mathbb{R}^K$ , the graph of the correspondence $f : A \mapsto Y$ is the set

\{(x,y) \in A \times Y : y \in f(x)\}